全文获取类型
收费全文 | 9257篇 |
免费 | 426篇 |
国内免费 | 246篇 |
专业分类
电工技术 | 244篇 |
技术理论 | 1篇 |
综合类 | 289篇 |
化学工业 | 584篇 |
金属工艺 | 428篇 |
机械仪表 | 823篇 |
建筑科学 | 678篇 |
矿业工程 | 498篇 |
能源动力 | 654篇 |
轻工业 | 400篇 |
水利工程 | 102篇 |
石油天然气 | 403篇 |
武器工业 | 148篇 |
无线电 | 654篇 |
一般工业技术 | 1212篇 |
冶金工业 | 255篇 |
原子能技术 | 392篇 |
自动化技术 | 2164篇 |
出版年
2024年 | 11篇 |
2023年 | 71篇 |
2022年 | 253篇 |
2021年 | 204篇 |
2020年 | 176篇 |
2019年 | 137篇 |
2018年 | 131篇 |
2017年 | 192篇 |
2016年 | 265篇 |
2015年 | 355篇 |
2014年 | 595篇 |
2013年 | 534篇 |
2012年 | 561篇 |
2011年 | 778篇 |
2010年 | 637篇 |
2009年 | 622篇 |
2008年 | 562篇 |
2007年 | 603篇 |
2006年 | 555篇 |
2005年 | 492篇 |
2004年 | 410篇 |
2003年 | 353篇 |
2002年 | 301篇 |
2001年 | 192篇 |
2000年 | 188篇 |
1999年 | 171篇 |
1998年 | 107篇 |
1997年 | 102篇 |
1996年 | 70篇 |
1995年 | 66篇 |
1994年 | 50篇 |
1993年 | 33篇 |
1992年 | 29篇 |
1991年 | 19篇 |
1990年 | 28篇 |
1989年 | 21篇 |
1988年 | 8篇 |
1987年 | 9篇 |
1986年 | 11篇 |
1985年 | 9篇 |
1984年 | 5篇 |
1983年 | 7篇 |
1981年 | 2篇 |
1980年 | 4篇 |
排序方式: 共有9929条查询结果,搜索用时 15 毫秒
41.
42.
介绍了深圳市机动车发展现状,分别用趋势外推法、城市比较分析法和分类法预测了2010-2020年深圳市的机动车保有量,最后预测了机动车的油气需求量。 相似文献
43.
光纤接入一直是多年来人们不断追求的梦想和探索的技术方向,但由于成本、技术、需求等方面的障碍,至今还没有得到大规模推广与发展。然而,这种局面最近有了很大的改观,出现可迅速发展的势头。主要是因为一些国家政策的扶持、运营商竞争的需要、对收入的追求,以及设备本身价格的下降,光纤接入技术由于各种原因,至今尚未在全球广泛应用,但在日本、美国、瑞典和意大利等国都获得了较多的应用。在中国,光纤接入也有了良好的开端,将在大城市广泛应用,并逐渐推广到全国。 相似文献
44.
This study is concerned with the assessment of risk for major construction activities. Risk has been defined as a measure of the probability, the severity, and the exposure of all hazards of an activity. A risk assessor model (RAM) was developed and computerized to determine the risk associated with a particular activity and the justification factor for a proposed remedy. Knowing the value of risk would help contractors identify the high risk of major construction activities and would enable them to allocate safety precautions in a more efficient manner. 相似文献
45.
核电厂应急计划中若干问题和概念的讨论 总被引:1,自引:0,他引:1
本文讨论了我国核电厂应急计划和应急准备中新所关心的若干问题,阐述了应急计划中一些基本概念;弄清这些问题和概念,对推动和恰当地进行应急准备可能是重要的。 相似文献
46.
Safety,liveness and fairness in temporal logic 总被引:1,自引:0,他引:1
A. Prasad Sistla 《Formal Aspects of Computing》1994,6(5):495-511
In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification of concurrent programs. Such a characterization helps us in choosing the right techniques for proving correctness with respect to these properties. The properties that we consider include safety properties, liveness properties and fairness properties. We also present algorithms for checking if a given temporal formula expresses any of these properties.This work is partly supported by NSF grant CCR-9212183. A preliminary version of this paper appeared in the Fourth ACM Symposium on Principles of Distributed Computing. 相似文献
47.
Mike Schofield 《Quality and Reliability Engineering International》1992,8(6):549-555
Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced. 相似文献
48.
49.
50.
起重搬运作业的安全风险分析 总被引:2,自引:1,他引:1
用安全系统的理论和方法 ,以起重作业为研究对象 ,通过危险识别 ,对造成人员损伤的危险事件发生的可能性和导致伤害后果的严重程度 ,进行了定性的风险分析 ,介绍了我国采取的针对性综合管理对策 相似文献